3.1.40 \(\int \csc (a+b x) \sin (2 a+2 b x) \, dx\) [40]
Optimal. Leaf size=11 \[ \frac {2 \sin (a+b x)}{b} \]
[Out]
2*sin(b*x+a)/b
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 11, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {4373, 2717}
\begin {gather*} \frac {2 \sin (a+b x)}{b} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[Csc[a + b*x]*Sin[2*a + 2*b*x],x]
[Out]
(2*Sin[a + b*x])/b
Rule 2717
Int[sin[Pi/2 + (c_.) + (d_.)*(x_)], x_Symbol] :> Simp[Sin[c + d*x]/d, x] /; FreeQ[{c, d}, x]
Rule 4373
Int[((f_.)*sin[(a_.) + (b_.)*(x_)])^(n_.)*sin[(c_.) + (d_.)*(x_)]^(p_.), x_Symbol] :> Dist[2^p/f^p, Int[Cos[a
+ b*x]^p*(f*Sin[a + b*x])^(n + p), x], x] /; FreeQ[{a, b, c, d, f, n}, x] && EqQ[b*c - a*d, 0] && EqQ[d/b, 2]
&& IntegerQ[p]
Rubi steps
\begin {align*} \int \csc (a+b x) \sin (2 a+2 b x) \, dx &=2 \int \cos (a+b x) \, dx\\ &=\frac {2 \sin (a+b x)}{b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(23\) vs. \(2(11)=22\).
time = 0.01, size = 23, normalized size = 2.09 \begin {gather*} 2 \left (\frac {\cos (b x) \sin (a)}{b}+\frac {\cos (a) \sin (b x)}{b}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[Csc[a + b*x]*Sin[2*a + 2*b*x],x]
[Out]
2*((Cos[b*x]*Sin[a])/b + (Cos[a]*Sin[b*x])/b)
________________________________________________________________________________________
Maple [A]
time = 0.04, size = 12, normalized size = 1.09
| | |
method |
result |
size |
| | |
default |
\(\frac {2 \sin \left (x b +a \right )}{b}\) |
\(12\) |
risch |
\(\frac {2 \sin \left (x b +a \right )}{b}\) |
\(12\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(csc(b*x+a)*sin(2*b*x+2*a),x,method=_RETURNVERBOSE)
[Out]
2*sin(b*x+a)/b
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 11, normalized size = 1.00 \begin {gather*} \frac {2 \, \sin \left (b x + a\right )}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(csc(b*x+a)*sin(2*b*x+2*a),x, algorithm="maxima")
[Out]
2*sin(b*x + a)/b
________________________________________________________________________________________
Fricas [A]
time = 2.06, size = 11, normalized size = 1.00 \begin {gather*} \frac {2 \, \sin \left (b x + a\right )}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(csc(b*x+a)*sin(2*b*x+2*a),x, algorithm="fricas")
[Out]
2*sin(b*x + a)/b
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 1056 vs.
\(2 (8) = 16\).
time = 10.96, size = 3636, normalized size = 330.55 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(csc(b*x+a)*sin(2*b*x+2*a),x)
[Out]
4*Piecewise((x, Eq(a, 0) & Eq(b, 0)), (sin(b*x)/b, Eq(a, 0)), (0, Eq(b, 0)), (2*log(tan(a/2) + tan(b*x/2))*tan
(a/2)**3*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(
a/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(a/2) + tan(b*x/2))*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan
(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(a/2) + tan(b*x/2
))*tan(a/2)*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*t
an(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(a/2) + tan(b*x/2))*tan(a/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan
(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(b*x/2) - 1/tan(a
/2))*tan(a/2)**3*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 +
2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(b*x/2) - 1/tan(a/2))*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)*
*2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(b*x/2)
- 1/tan(a/2))*tan(a/2)*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2
)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(b*x/2) - 1/tan(a/2))*tan(a/2)/(b*tan(a/2)**4*tan(b*x
/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*tan(a/2)**
4*tan(b*x/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 +
b*tan(b*x/2)**2 + b) - 4*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)
**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 4*tan(a/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*t
an(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*tan(b*x/2)/(b*tan(a/2)**4*tan(b*x/2)**2
+ b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b), True))*cos(a)**2 - 2
*Piecewise((x, Eq(a, 0) & Eq(b, 0)), (sin(b*x)/b, Eq(a, 0)), (0, Eq(b, 0)), (2*log(tan(a/2) + tan(b*x/2))*tan(
a/2)**3*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a
/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(a/2) + tan(b*x/2))*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(
a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(a/2) + tan(b*x/2)
)*tan(a/2)*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*ta
n(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(a/2) + tan(b*x/2))*tan(a/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(
a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(b*x/2) - 1/tan(a/
2))*tan(a/2)**3*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2
*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(b*x/2) - 1/tan(a/2))*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)**
2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(b*x/2)
- 1/tan(a/2))*tan(a/2)*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)
**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*log(tan(b*x/2) - 1/tan(a/2))*tan(a/2)/(b*tan(a/2)**4*tan(b*x/
2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*tan(a/2)**4
*tan(b*x/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b
*tan(b*x/2)**2 + b) - 4*tan(a/2)**3/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)*
*2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 4*tan(a/2)/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*ta
n(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + 2*tan(b*x/2)/(b*tan(a/2)**4*tan(b*x/2)**2 +
b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b), True)) - 2*Piecewise(
(zoo*x, Eq(a, 0) & Eq(b, 0)), (x/sin(a), Eq(b, 0)), (log(tan(b*x/2))/b, Eq(a, 0)), (log(tan(a/2) + tan(b*x/2))
/b - log(tan(b*x/2) - 1/tan(a/2))/b, True))*sin(a)*cos(a) + 4*Piecewise((zoo*x, Eq(a, 0) & Eq(b, 0)), (log(tan
(b*x/2))*tan(b*x/2)**2/(b*tan(b*x/2)**2 + b) + log(tan(b*x/2))/(b*tan(b*x/2)**2 + b) + 2/(b*tan(b*x/2)**2 + b)
, Eq(a, 0)), (x/sin(a), Eq(b, 0)), (log(tan(a/2) + tan(b*x/2))*tan(a/2)**4*tan(b*x/2)**2/(b*tan(a/2)**4*tan(b*
x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + log(tan(a/2
) + tan(b*x/2))*tan(a/2)**4/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b
*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(tan(a/2) + tan(b*x/2))*tan(a/2)**2*tan(b*x/2)**2/(b*tan(a/2)**4*ta
n(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2 + 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) - 2*log(t
an(a/2) + tan(b*x/2))*tan(a/2)**2/(b*tan(a/2)**4*tan(b*x/2)**2 + b*tan(a/2)**4 + 2*b*tan(a/2)**2*tan(b*x/2)**2
+ 2*b*tan(a/2)**2 + b*tan(b*x/2)**2 + b) + log...
________________________________________________________________________________________
Giac [A]
time = 0.40, size = 11, normalized size = 1.00 \begin {gather*} \frac {2 \, \sin \left (b x + a\right )}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(csc(b*x+a)*sin(2*b*x+2*a),x, algorithm="giac")
[Out]
2*sin(b*x + a)/b
________________________________________________________________________________________
Mupad [B]
time = 0.02, size = 11, normalized size = 1.00 \begin {gather*} \frac {2\,\sin \left (a+b\,x\right )}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(sin(2*a + 2*b*x)/sin(a + b*x),x)
[Out]
(2*sin(a + b*x))/b
________________________________________________________________________________________